Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
141	A∗ Sampling Chris J. Maddison Daniel Tarlow Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2015-03-29 14:20:59 Linear temporal logic Golden ratio base Statistics Gumbel distribution Probability and statistics
142	Probabilistic Temporal Logics via the Modal Mu-Calculus Rance Cleaveland a S. Purushothaman Iyer b Murali Narasimha c a Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2006-02-09 15:25:09 Theoretical computer science Temporal logic Model theory Linear temporal logic Logic in computer science Probabilistic logic Probabilistic bisimulation Interpretation Substitution Logic Mathematical logic Non-classical logic
143	1 Errata ”Principles of Model Checking” (JulyThanks to the Model Checking Reading Club at the Radboud University of Nijmegen, The Netherlands (in particular David N. Jansen and Frits W. Vaandrager), Holger He Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2010-07-30 08:23:30 Constructible universe Mathematics Symbol Linear temporal logic PP
144	The Legendre transform Jordan Bell Department of Mathematics, University of Toronto April 25, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-25 15:26:47 Locally convex topological vector space Calculus of variations Fourier transform Legendre transformation Partial differential equation Constructible universe Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Mathematics Fourier analysis
145	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: www.gilvegliach.it Language: English - Date: 2014-02-20 13:15:15 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic
146	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic
147	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:03 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
148	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Metalogic Model theory FO Interpretation Symbol Constructible universe Mathematics Logic Linear temporal logic Temporal logic
149	surfaces of revolution E. L. Lady Start with a curve given parametriclly in the xz -plane, viz. β(v) = (x(v), 0, z(v)) = (ϕ(v), 0, ψ(v)). Revolving this curve around the z -axis yields a surface which we can describe Add to Reading List Source URL: www.math.hawaii.edu Language: English - Date: 2001-04-07 05:48:38 Differential geometry of surfaces Curvature Group theory Linear algebra Vector space Darboux frame Linear temporal logic Algebra Mathematics Differential geometry
150	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing

UPDATE